es{-}valtype(${\it es}$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if es{-}isrcv(${\it es}$; $e$)$\rightarrow$ es{-}rcvtype(${\it es}$; $e$) else es{-}acttype(${\it es}$; $e$) fi